1.3 Propositional Equivalences